Abstract:

To enhance the reliability and the fault coverage of the test results, a local error diagnostic mechanism was introduced into dynamic protocol conformance test, a new dynamic test method was proposed, whose principle and correctness was analyzed on determinate FSM model. The new method took full advantage of the dynamic information generated during test to avoid the incorrect locating of local error. Also a local error diagnostic method was presented on error sub-sequence, which was not restricted to single error assumption and more practical. The experimental results showed that the method can effectively avoid the descending of the test reliability and give better fault coverage.

Key words: dynamic protocol test, local error diagnostic, test sequences；error sub-sequence